Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
741	5 Words and Sentences We started out, in Part I, with examples about acronyms and so on, but since then we’ve been working with numbery old numbers. That’s because the discussions about Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2008-08-15 14:41:13 Graphic design Sentence Quote Quotation mark Full stop Comma Function Colon Formal language Punctuation Linguistics Mathematics
742	How to say why (in AI4FM) Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside School of Computing Science, Newcastle University {name.surname}@newcastle.ac.uk October 30, 2013 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-21 06:16:22 Theoretical computer science Formal methods Proof assistant Mathematical proof Theorem KeY Rippling Isabelle Specification language Logic Mathematics Automated theorem proving
743	Tobias Nipkow, Gerwin Klein Concrete Semantics with Isabelle/HOL April 8, 2015 Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:05 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
744	Foundations of the Unified Modeling Language Tony Clark, Andy Evans Formal Methods Group, Department of Computing, University of Bradford, UK Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2003-02-04 09:56:28 Diagrams Information science Software engineering Infographics Class diagram Object diagram ECO Entity-relationship model Communication diagram UML diagrams Data modeling Unified Modeling Language
745	Investigating the Use of Background Knowledge for Assessing the Relevance of Statements to an Ontology in Ontology Evolution Fouad Zablith, Mathieu d’Aquin, Marta Sabou, Enrico Motta Knowledge Media Institute (KMi), Th Add to Reading List Source URL: fouad.zablith.org Language: English - Date: 2009-09-23 05:46:47 Semantic Web Knowledge engineering Science Information science Frame language Upper ontology Formal ontology Ontology Knowledge representation Information
746	BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2011-07-20 13:50:41 Software Applied mathematics Programming language implementation X86 Runtime verification Low-level programming language Formal verification Pin Compiler Formal methods Logic in computer science Computing
747	Automatic Solving of Problems stated in Natural Language Tore Amble Knowledge Systems Group Faculty of Electrical Engineering and Computer Science The Norwegian Institute of Technology Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-05-08 04:36:03 Formal systems Model theory Propositional calculus Boolean algebra Modal logic Resolution Common knowledge Axiomatic system Constructible universe Logic Mathematical logic Mathematics
748	Formal Grammars for Linguistic Treebank Queries Mark Dras Centre for Language Technology Macquarie University [removed] Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-02-22 22:08:00 Formal languages Functional languages XML Markup languages R-tree XPath Tree structure XQuery XSLT Computing Software engineering Web standards
749	Expressing Polymorphic Types in a Many-Sorted Language François Bobot1,2 and Andrei Paskevich1,2 1 2 Add to Reading List Source URL: proval.lri.fr Language: English - Date: 2012-05-14 03:02:54 Model theory Formal languages Type theory Symbol Interpretation First-order logic Well-formed formula Ground expression Greek alphabet Logic Mathematics Mathematical logic
750	IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, Investigating Topic Models’ Capabilities in Expression Microarray Data Classification Manuele Bicego, Pietro Lovato, Alessandro Perina, Marianna Fasol Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2013-03-19 09:37:42 Biology Machine learning Microarrays Formal sciences Bioinformatics Probabilistic latent semantic analysis Generative model Latent Dirichlet allocation Topic model Statistics Science Statistical natural language processing

UPDATE